extension | φ:Q→Out N | d | ρ | Label | ID |
C4:Q8.1C22 = C42.4D4 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 16 | 4- | C4:Q8.1C2^2 | 128,137 |
C4:Q8.2C22 = (C4xC8).C4 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 16 | 4 | C4:Q8.2C2^2 | 128,142 |
C4:Q8.3C22 = (C2xQ8).D4 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 32 | 4- | C4:Q8.3C2^2 | 128,143 |
C4:Q8.4C22 = C8:C4.C4 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 32 | 8- | C4:Q8.4C2^2 | 128,145 |
C4:Q8.5C22 = D4:SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.5C2^2 | 128,354 |
C4:Q8.6C22 = Q8:SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.6C2^2 | 128,355 |
C4:Q8.7C22 = C42.185C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.7C2^2 | 128,356 |
C4:Q8.8C22 = D4:3D8 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.8C2^2 | 128,357 |
C4:Q8.9C22 = Q8:6SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.9C2^2 | 128,358 |
C4:Q8.10C22 = Q8:3D8 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.10C2^2 | 128,359 |
C4:Q8.11C22 = C42.189C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.11C2^2 | 128,360 |
C4:Q8.12C22 = C42.191C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.12C2^2 | 128,362 |
C4:Q8.13C22 = Q8:2SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.13C2^2 | 128,363 |
C4:Q8.14C22 = D4:Q16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.14C2^2 | 128,364 |
C4:Q8.15C22 = Q8:Q16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.15C2^2 | 128,365 |
C4:Q8.16C22 = C42.195C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.16C2^2 | 128,366 |
C4:Q8.17C22 = D4.SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.17C2^2 | 128,367 |
C4:Q8.18C22 = Q8.Q16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.18C2^2 | 128,368 |
C4:Q8.19C22 = D4.3Q16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.19C2^2 | 128,369 |
C4:Q8.20C22 = C42.199C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.20C2^2 | 128,370 |
C4:Q8.21C22 = C42.201C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.21C2^2 | 128,372 |
C4:Q8.22C22 = Q8.D8 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.22C2^2 | 128,373 |
C4:Q8.23C22 = Q8:3SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.23C2^2 | 128,374 |
C4:Q8.24C22 = D4.5SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.24C2^2 | 128,375 |
C4:Q8.25C22 = D4:3Q16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.25C2^2 | 128,376 |
C4:Q8.26C22 = Q8:3Q16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.26C2^2 | 128,377 |
C4:Q8.27C22 = C42.207C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.27C2^2 | 128,378 |
C4:Q8.28C22 = D4.7D8 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.28C2^2 | 128,379 |
C4:Q8.29C22 = Q8:4Q16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.29C2^2 | 128,380 |
C4:Q8.30C22 = D4:4Q16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.30C2^2 | 128,381 |
C4:Q8.31C22 = C42.211C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.31C2^2 | 128,382 |
C4:Q8.32C22 = Q8:4SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.32C2^2 | 128,383 |
C4:Q8.33C22 = C42.213C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.33C2^2 | 128,384 |
C4:Q8.34C22 = Q8.SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.34C2^2 | 128,385 |
C4:Q8.35C22 = D4:4SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.35C2^2 | 128,386 |
C4:Q8.36C22 = C42.6C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.36C2^2 | 128,392 |
C4:Q8.37C22 = C42.7C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.37C2^2 | 128,393 |
C4:Q8.38C22 = C42.8C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.38C2^2 | 128,394 |
C4:Q8.39C22 = C42.9C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.39C2^2 | 128,395 |
C4:Q8.40C22 = C42.10C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.40C2^2 | 128,396 |
C4:Q8.41C22 = C8:8D8 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.41C2^2 | 128,397 |
C4:Q8.42C22 = C8:14SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.42C2^2 | 128,398 |
C4:Q8.43C22 = C8.28D8 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.43C2^2 | 128,401 |
C4:Q8.44C22 = Q8:1Q16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.44C2^2 | 128,402 |
C4:Q8.45C22 = C8:11SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.45C2^2 | 128,403 |
C4:Q8.46C22 = C8:8Q16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.46C2^2 | 128,404 |
C4:Q8.47C22 = C8:10SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.47C2^2 | 128,405 |
C4:Q8.48C22 = C8:7Q16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.48C2^2 | 128,406 |
C4:Q8.49C22 = D4.1Q16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.49C2^2 | 128,407 |
C4:Q8.50C22 = Q8.1Q16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.50C2^2 | 128,408 |
C4:Q8.51C22 = D4.2SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.51C2^2 | 128,409 |
C4:Q8.52C22 = Q8.2SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.52C2^2 | 128,410 |
C4:Q8.53C22 = D4.3SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.53C2^2 | 128,411 |
C4:Q8.54C22 = Q8.3SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.54C2^2 | 128,412 |
C4:Q8.55C22 = D4.2D8 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.55C2^2 | 128,413 |
C4:Q8.56C22 = Q8.2D8 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.56C2^2 | 128,414 |
C4:Q8.57C22 = D4.Q16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.57C2^2 | 128,415 |
C4:Q8.58C22 = Q8.2Q16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.58C2^2 | 128,416 |
C4:Q8.59C22 = C8:D8 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.59C2^2 | 128,417 |
C4:Q8.60C22 = C8:SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.60C2^2 | 128,418 |
C4:Q8.61C22 = C8.D8 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.61C2^2 | 128,421 |
C4:Q8.62C22 = C8.SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.62C2^2 | 128,422 |
C4:Q8.63C22 = C8:3SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.63C2^2 | 128,423 |
C4:Q8.64C22 = C8:Q16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.64C2^2 | 128,424 |
C4:Q8.65C22 = C8:4SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.65C2^2 | 128,425 |
C4:Q8.66C22 = C8:2Q16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.66C2^2 | 128,426 |
C4:Q8.67C22 = C8.8SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.67C2^2 | 128,427 |
C4:Q8.68C22 = C8.3Q16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.68C2^2 | 128,428 |
C4:Q8.69C22 = C42.248C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.69C2^2 | 128,429 |
C4:Q8.70C22 = C42.249C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.70C2^2 | 128,430 |
C4:Q8.71C22 = C42.250C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.71C2^2 | 128,431 |
C4:Q8.72C22 = C42.251C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.72C2^2 | 128,432 |
C4:Q8.73C22 = C42.252C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.73C2^2 | 128,433 |
C4:Q8.74C22 = C42.253C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.74C2^2 | 128,434 |
C4:Q8.75C22 = C42.254C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.75C2^2 | 128,435 |
C4:Q8.76C22 = C42.255C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.76C2^2 | 128,436 |
C4:Q8.77C22 = C8:8SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.77C2^2 | 128,437 |
C4:Q8.78C22 = C8:5D8 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.78C2^2 | 128,438 |
C4:Q8.79C22 = C8:5Q16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.79C2^2 | 128,439 |
C4:Q8.80C22 = C82:12C2 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.80C2^2 | 128,440 |
C4:Q8.81C22 = C82:5C2 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.81C2^2 | 128,441 |
C4:Q8.82C22 = C8.7Q16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.82C2^2 | 128,442 |
C4:Q8.83C22 = C82:3C2 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.83C2^2 | 128,443 |
C4:Q8.84C22 = C8:4Q16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.84C2^2 | 128,445 |
C4:Q8.85C22 = C8:5SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.85C2^2 | 128,446 |
C4:Q8.86C22 = C8:6SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.86C2^2 | 128,447 |
C4:Q8.87C22 = C8.9SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.87C2^2 | 128,448 |
C4:Q8.88C22 = C42.664C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.88C2^2 | 128,449 |
C4:Q8.89C22 = C42.665C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.89C2^2 | 128,450 |
C4:Q8.90C22 = C42.666C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.90C2^2 | 128,451 |
C4:Q8.91C22 = C42.667C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.91C2^2 | 128,452 |
C4:Q8.92C22 = C8:3D8 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.92C2^2 | 128,453 |
C4:Q8.93C22 = C8.2D8 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.93C2^2 | 128,454 |
C4:Q8.94C22 = C8:3Q16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.94C2^2 | 128,455 |
C4:Q8.95C22 = C4:Q8.C4 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 32 | 8- | C4:Q8.95C2^2 | 128,865 |
C4:Q8.96C22 = (C2xD4).137D4 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 32 | 8- | C4:Q8.96C2^2 | 128,867 |
C4:Q8.97C22 = C42.16D4 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 32 | 8- | C4:Q8.97C2^2 | 128,935 |
C4:Q8.98C22 = C42.17D4 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 16 | 4 | C4:Q8.98C2^2 | 128,936 |
C4:Q8.99C22 = Q8wrC2 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 16 | 4- | C4:Q8.99C2^2 | 128,937 |
C4:Q8.100C22 = C42.17C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.100C2^2 | 128,1776 |
C4:Q8.101C22 = C42.19C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.101C2^2 | 128,1778 |
C4:Q8.102C22 = C42.21C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.102C2^2 | 128,1814 |
C4:Q8.103C22 = C42.22C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.103C2^2 | 128,1815 |
C4:Q8.104C22 = C42.23C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.104C2^2 | 128,1816 |
C4:Q8.105C22 = C42.354C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.105C2^2 | 128,1852 |
C4:Q8.106C22 = C42.355C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.106C2^2 | 128,1853 |
C4:Q8.107C22 = C42.358C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.107C2^2 | 128,1856 |
C4:Q8.108C22 = C42.359C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.108C2^2 | 128,1857 |
C4:Q8.109C22 = C42.361C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.109C2^2 | 128,1859 |
C4:Q8.110C22 = C42.367C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.110C2^2 | 128,1869 |
C4:Q8.111C22 = M4(2).20D4 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.111C2^2 | 128,1888 |
C4:Q8.112C22 = M4(2):3Q8 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.112C2^2 | 128,1895 |
C4:Q8.113C22 = M4(2):4Q8 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.113C2^2 | 128,1896 |
C4:Q8.114C22 = C42.385C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.114C2^2 | 128,1905 |
C4:Q8.115C22 = C42.386C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.115C2^2 | 128,1906 |
C4:Q8.116C22 = C42.387C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.116C2^2 | 128,1907 |
C4:Q8.117C22 = C42.389C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.117C2^2 | 128,1909 |
C4:Q8.118C22 = C42.390C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.118C2^2 | 128,1910 |
C4:Q8.119C22 = C42.391C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.119C2^2 | 128,1911 |
C4:Q8.120C22 = C42.407C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.120C2^2 | 128,1953 |
C4:Q8.121C22 = C42.409C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.121C2^2 | 128,1955 |
C4:Q8.122C22 = C42.411C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.122C2^2 | 128,1957 |
C4:Q8.123C22 = C42.423C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.123C2^2 | 128,1973 |
C4:Q8.124C22 = C42.424C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.124C2^2 | 128,1974 |
C4:Q8.125C22 = C42.425C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.125C2^2 | 128,1975 |
C4:Q8.126C22 = C42.426C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.126C2^2 | 128,1976 |
C4:Q8.127C22 = C4.2- 1+4 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.127C2^2 | 128,1989 |
C4:Q8.128C22 = C42.25C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.128C2^2 | 128,1990 |
C4:Q8.129C22 = C42.27C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.129C2^2 | 128,1992 |
C4:Q8.130C22 = C42.28C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.130C2^2 | 128,1993 |
C4:Q8.131C22 = C42.29C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.131C2^2 | 128,1994 |
C4:Q8.132C22 = C42.30C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.132C2^2 | 128,1995 |
C4:Q8.133C22 = SD16:8D4 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.133C2^2 | 128,2001 |
C4:Q8.134C22 = Q16:9D4 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.134C2^2 | 128,2002 |
C4:Q8.135C22 = SD16:3D4 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.135C2^2 | 128,2008 |
C4:Q8.136C22 = Q16:5D4 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.136C2^2 | 128,2010 |
C4:Q8.137C22 = D8:13D4 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.137C2^2 | 128,2015 |
C4:Q8.138C22 = SD16:11D4 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.138C2^2 | 128,2016 |
C4:Q8.139C22 = D4xQ16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.139C2^2 | 128,2018 |
C4:Q8.140C22 = D8oQ16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 32 | 4- | C4:Q8.140C2^2 | 128,2025 |
C4:Q8.141C22 = D4:8SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.141C2^2 | 128,2030 |
C4:Q8.142C22 = D4:5Q16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.142C2^2 | 128,2031 |
C4:Q8.143C22 = C42.467C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.143C2^2 | 128,2034 |
C4:Q8.144C22 = C42.468C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.144C2^2 | 128,2035 |
C4:Q8.145C22 = C42.469C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.145C2^2 | 128,2036 |
C4:Q8.146C22 = C42.470C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.146C2^2 | 128,2037 |
C4:Q8.147C22 = C42.42C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.147C2^2 | 128,2039 |
C4:Q8.148C22 = C42.43C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.148C2^2 | 128,2040 |
C4:Q8.149C22 = C42.47C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.149C2^2 | 128,2044 |
C4:Q8.150C22 = C42.48C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.150C2^2 | 128,2045 |
C4:Q8.151C22 = C42.50C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.151C2^2 | 128,2047 |
C4:Q8.152C22 = C42.51C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.152C2^2 | 128,2048 |
C4:Q8.153C22 = C42.55C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.153C2^2 | 128,2052 |
C4:Q8.154C22 = C42.56C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.154C2^2 | 128,2053 |
C4:Q8.155C22 = C42.477C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.155C2^2 | 128,2060 |
C4:Q8.156C22 = C42.478C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.156C2^2 | 128,2061 |
C4:Q8.157C22 = C42.479C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.157C2^2 | 128,2062 |
C4:Q8.158C22 = C42.480C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.158C2^2 | 128,2063 |
C4:Q8.159C22 = C42.481C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.159C2^2 | 128,2064 |
C4:Q8.160C22 = C42.482C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.160C2^2 | 128,2065 |
C4:Q8.161C22 = D4:5D8 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.161C2^2 | 128,2066 |
C4:Q8.162C22 = D4:9SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.162C2^2 | 128,2067 |
C4:Q8.163C22 = D4:6Q16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.163C2^2 | 128,2070 |
C4:Q8.164C22 = C42.489C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.164C2^2 | 128,2072 |
C4:Q8.165C22 = C42.490C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.165C2^2 | 128,2073 |
C4:Q8.166C22 = C42.491C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.166C2^2 | 128,2074 |
C4:Q8.167C22 = C42.57C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.167C2^2 | 128,2075 |
C4:Q8.168C22 = C42.58C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.168C2^2 | 128,2076 |
C4:Q8.169C22 = C42.59C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.169C2^2 | 128,2077 |
C4:Q8.170C22 = C42.60C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.170C2^2 | 128,2078 |
C4:Q8.171C22 = C42.61C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.171C2^2 | 128,2079 |
C4:Q8.172C22 = C42.62C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.172C2^2 | 128,2080 |
C4:Q8.173C22 = C42.63C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.173C2^2 | 128,2081 |
C4:Q8.174C22 = C42.64C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.174C2^2 | 128,2082 |
C4:Q8.175C22 = C42.494C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.175C2^2 | 128,2085 |
C4:Q8.176C22 = C42.495C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.176C2^2 | 128,2086 |
C4:Q8.177C22 = C42.497C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.177C2^2 | 128,2088 |
C4:Q8.178C22 = C42.498C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.178C2^2 | 128,2089 |
C4:Q8.179C22 = Q8:4D8 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.179C2^2 | 128,2090 |
C4:Q8.180C22 = Q8:7SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.180C2^2 | 128,2091 |
C4:Q8.181C22 = C42.501C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.181C2^2 | 128,2092 |
C4:Q8.182C22 = C42.502C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.182C2^2 | 128,2093 |
C4:Q8.183C22 = Q8:8SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.183C2^2 | 128,2094 |
C4:Q8.184C22 = Q8:5Q16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.184C2^2 | 128,2095 |
C4:Q8.185C22 = C42.505C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.185C2^2 | 128,2096 |
C4:Q8.186C22 = C42.506C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.186C2^2 | 128,2097 |
C4:Q8.187C22 = C42.507C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.187C2^2 | 128,2098 |
C4:Q8.188C22 = C42.508C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.188C2^2 | 128,2099 |
C4:Q8.189C22 = C42.509C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.189C2^2 | 128,2100 |
C4:Q8.190C22 = C42.510C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.190C2^2 | 128,2101 |
C4:Q8.191C22 = C42.511C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.191C2^2 | 128,2102 |
C4:Q8.192C22 = C42.512C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.192C2^2 | 128,2103 |
C4:Q8.193C22 = C42.513C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.193C2^2 | 128,2104 |
C4:Q8.194C22 = C42.514C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.194C2^2 | 128,2105 |
C4:Q8.195C22 = C42.515C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.195C2^2 | 128,2106 |
C4:Q8.196C22 = C42.516C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.196C2^2 | 128,2107 |
C4:Q8.197C22 = C42.517C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.197C2^2 | 128,2108 |
C4:Q8.198C22 = C42.518C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.198C2^2 | 128,2109 |
C4:Q8.199C22 = Q8xD8 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.199C2^2 | 128,2110 |
C4:Q8.200C22 = Q8xSD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.200C2^2 | 128,2111 |
C4:Q8.201C22 = D8:6Q8 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.201C2^2 | 128,2112 |
C4:Q8.202C22 = SD16:4Q8 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.202C2^2 | 128,2113 |
C4:Q8.203C22 = Q8xQ16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.203C2^2 | 128,2114 |
C4:Q8.204C22 = Q16:6Q8 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.204C2^2 | 128,2115 |
C4:Q8.205C22 = D8:4Q8 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.205C2^2 | 128,2116 |
C4:Q8.206C22 = SD16:Q8 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.206C2^2 | 128,2117 |
C4:Q8.207C22 = SD16:2Q8 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.207C2^2 | 128,2118 |
C4:Q8.208C22 = Q16:4Q8 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.208C2^2 | 128,2119 |
C4:Q8.209C22 = SD16:3Q8 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.209C2^2 | 128,2120 |
C4:Q8.210C22 = D8:5Q8 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.210C2^2 | 128,2121 |
C4:Q8.211C22 = Q16:5Q8 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.211C2^2 | 128,2122 |
C4:Q8.212C22 = Q8:9SD16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.212C2^2 | 128,2124 |
C4:Q8.213C22 = C42.527C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.213C2^2 | 128,2125 |
C4:Q8.214C22 = C42.528C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.214C2^2 | 128,2126 |
C4:Q8.215C22 = Q8:6Q16 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 128 | | C4:Q8.215C2^2 | 128,2127 |
C4:Q8.216C22 = C42.72C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.216C2^2 | 128,2129 |
C4:Q8.217C22 = C42.73C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.217C2^2 | 128,2130 |
C4:Q8.218C22 = C42.75C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.218C2^2 | 128,2132 |
C4:Q8.219C22 = C42.531C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.219C2^2 | 128,2133 |
C4:Q8.220C22 = C42.532C23 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.220C2^2 | 128,2134 |
C4:Q8.221C22 = C22.104C25 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.221C2^2 | 128,2247 |
C4:Q8.222C22 = C22.105C25 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.222C2^2 | 128,2248 |
C4:Q8.223C22 = C23.146C24 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.223C2^2 | 128,2255 |
C4:Q8.224C22 = C22.113C25 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.224C2^2 | 128,2256 |
C4:Q8.225C22 = C22.136C25 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.225C2^2 | 128,2279 |
C4:Q8.226C22 = C22.139C25 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.226C2^2 | 128,2282 |
C4:Q8.227C22 = C22.142C25 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.227C2^2 | 128,2285 |
C4:Q8.228C22 = C22.145C25 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.228C2^2 | 128,2288 |
C4:Q8.229C22 = C22.146C25 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.229C2^2 | 128,2289 |
C4:Q8.230C22 = C22.154C25 | φ: C22/C1 → C22 ⊆ Out C4:Q8 | 64 | | C4:Q8.230C2^2 | 128,2297 |
C4:Q8.231C22 = C2xC4.10D8 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 128 | | C4:Q8.231C2^2 | 128,271 |
C4:Q8.232C22 = C42.409D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.232C2^2 | 128,272 |
C4:Q8.233C22 = C2xC4.6Q16 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 128 | | C4:Q8.233C2^2 | 128,273 |
C4:Q8.234C22 = C42.410D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.234C2^2 | 128,274 |
C4:Q8.235C22 = C42.411D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.235C2^2 | 128,275 |
C4:Q8.236C22 = C42.412D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.236C2^2 | 128,276 |
C4:Q8.237C22 = C42.414D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.237C2^2 | 128,278 |
C4:Q8.238C22 = C42.78D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.238C2^2 | 128,279 |
C4:Q8.239C22 = C42.415D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.239C2^2 | 128,280 |
C4:Q8.240C22 = C42.416D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.240C2^2 | 128,281 |
C4:Q8.241C22 = C42.79D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.241C2^2 | 128,282 |
C4:Q8.242C22 = C42.80D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.242C2^2 | 128,283 |
C4:Q8.243C22 = C42.81D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.243C2^2 | 128,284 |
C4:Q8.244C22 = C42.417D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.244C2^2 | 128,285 |
C4:Q8.245C22 = C42.418D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.245C2^2 | 128,286 |
C4:Q8.246C22 = C42.83D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.246C2^2 | 128,288 |
C4:Q8.247C22 = C42.84D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.247C2^2 | 128,289 |
C4:Q8.248C22 = C42.85D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.248C2^2 | 128,290 |
C4:Q8.249C22 = C42.86D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.249C2^2 | 128,291 |
C4:Q8.250C22 = C42.87D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.250C2^2 | 128,292 |
C4:Q8.251C22 = C42.88D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.251C2^2 | 128,293 |
C4:Q8.252C22 = C2xC42.3C4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 32 | | C4:Q8.252C2^2 | 128,863 |
C4:Q8.253C22 = (C2xD4).135D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 16 | 4 | C4:Q8.253C2^2 | 128,864 |
C4:Q8.254C22 = C2xC4:2Q16 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 128 | | C4:Q8.254C2^2 | 128,1765 |
C4:Q8.255C22 = C42.443D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.255C2^2 | 128,1767 |
C4:Q8.256C22 = C42.212D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.256C2^2 | 128,1769 |
C4:Q8.257C22 = C42.445D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.257C2^2 | 128,1771 |
C4:Q8.258C22 = C2xQ8:Q8 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 128 | | C4:Q8.258C2^2 | 128,1805 |
C4:Q8.259C22 = C2xC4.Q16 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 128 | | C4:Q8.259C2^2 | 128,1806 |
C4:Q8.260C22 = C42.447D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.260C2^2 | 128,1808 |
C4:Q8.261C22 = C42.220D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.261C2^2 | 128,1810 |
C4:Q8.262C22 = C42.448D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.262C2^2 | 128,1811 |
C4:Q8.263C22 = C42.223D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.263C2^2 | 128,1835 |
C4:Q8.264C22 = C42.224D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.264C2^2 | 128,1836 |
C4:Q8.265C22 = C42.450D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.265C2^2 | 128,1838 |
C4:Q8.266C22 = C42.451D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.266C2^2 | 128,1839 |
C4:Q8.267C22 = C42.230D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.267C2^2 | 128,1844 |
C4:Q8.268C22 = C42.231D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.268C2^2 | 128,1845 |
C4:Q8.269C22 = C42.233D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.269C2^2 | 128,1847 |
C4:Q8.270C22 = C42.234D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.270C2^2 | 128,1848 |
C4:Q8.271C22 = C2xC4.SD16 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 128 | | C4:Q8.271C2^2 | 128,1861 |
C4:Q8.272C22 = C42.355D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.272C2^2 | 128,1863 |
C4:Q8.273C22 = C2xC42.30C22 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 128 | | C4:Q8.273C2^2 | 128,1866 |
C4:Q8.274C22 = C42.239D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.274C2^2 | 128,1867 |
C4:Q8.275C22 = C42.241D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.275C2^2 | 128,1871 |
C4:Q8.276C22 = C42.243D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.276C2^2 | 128,1873 |
C4:Q8.277C22 = C42.244D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.277C2^2 | 128,1874 |
C4:Q8.278C22 = C2xC4:Q16 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 128 | | C4:Q8.278C2^2 | 128,1877 |
C4:Q8.279C22 = C42.360D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.279C2^2 | 128,1879 |
C4:Q8.280C22 = C42.247D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.280C2^2 | 128,1882 |
C4:Q8.281C22 = M4(2):8D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.281C2^2 | 128,1884 |
C4:Q8.282C22 = C2xC8:3Q8 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 128 | | C4:Q8.282C2^2 | 128,1889 |
C4:Q8.283C22 = C2xC8:2Q8 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 128 | | C4:Q8.283C2^2 | 128,1891 |
C4:Q8.284C22 = C42.364D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.284C2^2 | 128,1892 |
C4:Q8.285C22 = C2xC8:Q8 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 128 | | C4:Q8.285C2^2 | 128,1893 |
C4:Q8.286C22 = C42.252D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.286C2^2 | 128,1894 |
C4:Q8.287C22 = M4(2):5Q8 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.287C2^2 | 128,1897 |
C4:Q8.288C22 = M4(2):6Q8 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.288C2^2 | 128,1898 |
C4:Q8.289C22 = C42.365D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.289C2^2 | 128,1899 |
C4:Q8.290C22 = C42.366D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.290C2^2 | 128,1901 |
C4:Q8.291C22 = C42.367D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.291C2^2 | 128,1902 |
C4:Q8.292C22 = C42.255D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.292C2^2 | 128,1903 |
C4:Q8.293C22 = C42.256D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.293C2^2 | 128,1904 |
C4:Q8.294C22 = C42.257D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.294C2^2 | 128,1912 |
C4:Q8.295C22 = C42.258D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.295C2^2 | 128,1913 |
C4:Q8.296C22 = C42.259D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.296C2^2 | 128,1914 |
C4:Q8.297C22 = C42.261D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.297C2^2 | 128,1916 |
C4:Q8.298C22 = C42.262D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.298C2^2 | 128,1917 |
C4:Q8.299C22 = C42.264D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.299C2^2 | 128,1938 |
C4:Q8.300C22 = C42.265D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.300C2^2 | 128,1939 |
C4:Q8.301C22 = C42.267D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.301C2^2 | 128,1941 |
C4:Q8.302C22 = C42.268D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.302C2^2 | 128,1942 |
C4:Q8.303C22 = C42.270D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.303C2^2 | 128,1944 |
C4:Q8.304C22 = C42.272D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.304C2^2 | 128,1946 |
C4:Q8.305C22 = C42.274D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.305C2^2 | 128,1948 |
C4:Q8.306C22 = C42.276D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.306C2^2 | 128,1950 |
C4:Q8.307C22 = C42.277D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.307C2^2 | 128,1951 |
C4:Q8.308C22 = C42.278D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.308C2^2 | 128,1958 |
C4:Q8.309C22 = C42.279D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.309C2^2 | 128,1959 |
C4:Q8.310C22 = C42.280D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.310C2^2 | 128,1960 |
C4:Q8.311C22 = C42.281D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.311C2^2 | 128,1961 |
C4:Q8.312C22 = C42.282D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.312C2^2 | 128,1962 |
C4:Q8.313C22 = C42.283D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.313C2^2 | 128,1963 |
C4:Q8.314C22 = C42.285D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.314C2^2 | 128,1965 |
C4:Q8.315C22 = C42.286D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.315C2^2 | 128,1966 |
C4:Q8.316C22 = C42.287D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.316C2^2 | 128,1967 |
C4:Q8.317C22 = C42.288D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.317C2^2 | 128,1968 |
C4:Q8.318C22 = C42.289D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.318C2^2 | 128,1969 |
C4:Q8.319C22 = C42.290D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.319C2^2 | 128,1970 |
C4:Q8.320C22 = C42.291D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.320C2^2 | 128,1971 |
C4:Q8.321C22 = C42.292D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.321C2^2 | 128,1972 |
C4:Q8.322C22 = C42.293D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.322C2^2 | 128,1977 |
C4:Q8.323C22 = C42.294D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.323C2^2 | 128,1978 |
C4:Q8.324C22 = C42.295D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.324C2^2 | 128,1979 |
C4:Q8.325C22 = C42.296D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.325C2^2 | 128,1980 |
C4:Q8.326C22 = C42.297D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.326C2^2 | 128,1981 |
C4:Q8.327C22 = C42.299D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.327C2^2 | 128,1983 |
C4:Q8.328C22 = C42.300D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.328C2^2 | 128,1984 |
C4:Q8.329C22 = C42.301D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.329C2^2 | 128,1985 |
C4:Q8.330C22 = C42.302D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.330C2^2 | 128,1986 |
C4:Q8.331C22 = C42.303D4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.331C2^2 | 128,1987 |
C4:Q8.332C22 = C22.50C25 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.332C2^2 | 128,2193 |
C4:Q8.333C22 = C2xQ8:3Q8 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 128 | | C4:Q8.333C2^2 | 128,2208 |
C4:Q8.334C22 = C2xQ82 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 128 | | C4:Q8.334C2^2 | 128,2209 |
C4:Q8.335C22 = Q8xC4oD4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.335C2^2 | 128,2210 |
C4:Q8.336C22 = C22.69C25 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.336C2^2 | 128,2212 |
C4:Q8.337C22 = C22.71C25 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.337C2^2 | 128,2214 |
C4:Q8.338C22 = C22.72C25 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.338C2^2 | 128,2215 |
C4:Q8.339C22 = C4:2- 1+4 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.339C2^2 | 128,2229 |
C4:Q8.340C22 = C22.88C25 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.340C2^2 | 128,2231 |
C4:Q8.341C22 = C22.91C25 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.341C2^2 | 128,2234 |
C4:Q8.342C22 = C22.92C25 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.342C2^2 | 128,2235 |
C4:Q8.343C22 = C22.93C25 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.343C2^2 | 128,2236 |
C4:Q8.344C22 = C22.96C25 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.344C2^2 | 128,2239 |
C4:Q8.345C22 = C22.100C25 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.345C2^2 | 128,2243 |
C4:Q8.346C22 = C22.101C25 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.346C2^2 | 128,2244 |
C4:Q8.347C22 = C22.106C25 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.347C2^2 | 128,2249 |
C4:Q8.348C22 = C22.107C25 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.348C2^2 | 128,2250 |
C4:Q8.349C22 = C22.111C25 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.349C2^2 | 128,2254 |
C4:Q8.350C22 = C22.120C25 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.350C2^2 | 128,2263 |
C4:Q8.351C22 = C22.133C25 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.351C2^2 | 128,2276 |
C4:Q8.352C22 = C22.137C25 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.352C2^2 | 128,2280 |
C4:Q8.353C22 = C22.141C25 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.353C2^2 | 128,2284 |
C4:Q8.354C22 = C22.143C25 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.354C2^2 | 128,2286 |
C4:Q8.355C22 = C22.144C25 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.355C2^2 | 128,2287 |
C4:Q8.356C22 = C22.148C25 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.356C2^2 | 128,2291 |
C4:Q8.357C22 = C22.152C25 | φ: C22/C2 → C2 ⊆ Out C4:Q8 | 64 | | C4:Q8.357C2^2 | 128,2295 |
C4:Q8.358C22 = C22.98C25 | φ: trivial image | 64 | | C4:Q8.358C2^2 | 128,2241 |